A model of Cummings and Foreman revisited

On Sch and the Approachability Property

We construct a model of ¬SCH+¬AP+ (Very Good Scale). This answers questions of Cummings, Foreman, Magidor and Woodin.

Squares, Scales and Stationary Reflection

Weak Squares and Very Good Scales

We assume the existence of a supercompact cardinal and produce a model with weak square but no very good scale at a particular cardinal. This follows work of Cummings, Foreman, and Magidor, but uses a different approach. We produce another model, starting from countably many supercompact cardinals, where κ,<κ holds but κ,λ fails for λ < κ.

Namba forcing and no good scale

We develop a version of Namba forcing which is useful for constructing models with no good scale on אω . A model is produced in which אn holds for all finite n ≥ 1, but there is no good scale on אω ; this strengthens a theorem of Cummings, Foreman, and Magidor [3] on the non-compactness of

High level Ab inito bench mark computaions on weak interactions (H2)2 dimer revisited

The Potential Energy Surface PES of (H2)2 dimer has been investigated, using five simple rigid rotor models. These models are called: head to head, symmetric side to side, L , steplike and T model. All calculations were done at two levels of ab initio  methods: MP2(Full) and QCISD (T,Full) using cc-pVTZ basis set at singlet state of spin multiplicity. The results of scanning PES were then fitte...